function onOpen() {
  // Set the checkmarks in the dialog to the current settings
  edit1.value = (options.getValue("ss_timer") / 1000);
}

function onCancel() {
  // No settings will be saved.
}

function onOk() {
  // Save all the settings only if required
  options.putValue("ss_timer", edit1.value * 1000);
}